151![Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3 Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3](https://www.pdfsearch.io/img/c65bf8a8d9b32c89b83f90b4e7c88271.jpg) | Add to Reading ListSource URL: www.imn.htwk-leipzig.deLanguage: English - Date: 2013-08-26 10:13:12
|
---|
152![Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† , Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† ,](https://www.pdfsearch.io/img/d8c545e2d1ea4fa13dd42fa65e1ce258.jpg) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2014-10-30 21:40:55
|
---|
153![Why decompilation? This course is ostensibly about Optimising Compilers. It is really about program analysis and transformation. Decompilation is achieved through analysis and transformation of target code; the transform Why decompilation? This course is ostensibly about Optimising Compilers. It is really about program analysis and transformation. Decompilation is achieved through analysis and transformation of target code; the transform](https://www.pdfsearch.io/img/6420cc7ca64b76d73b6dc62145cff488.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2006-03-14 06:00:00
|
---|
154![On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises Mario Gleirscher1 , Dmitriy Golubitskiy1 , Maximilian Irlbeck1 , and Stefan Wagner2 1 On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises Mario Gleirscher1 , Dmitriy Golubitskiy1 , Maximilian Irlbeck1 , and Stefan Wagner2 1](https://www.pdfsearch.io/img/3e2a3be79d8eef3c689bba68ec1d562d.jpg) | Add to Reading ListSource URL: www.iste.uni-stuttgart.deLanguage: English - Date: 2011-09-20 16:23:37
|
---|
155![Visual Lint Squash bugs early with interactive C/C++, C# and Java code analysis for Microsoft Visual Studio and Eclipse If you’ve ever tried to assess the quality of a large codebase, you will know how time consuming a Visual Lint Squash bugs early with interactive C/C++, C# and Java code analysis for Microsoft Visual Studio and Eclipse If you’ve ever tried to assess the quality of a large codebase, you will know how time consuming a](https://www.pdfsearch.io/img/04297c6c3076d00047a1e5a7114d8b28.jpg) | Add to Reading ListSource URL: www.riverblade.co.ukLanguage: English - Date: 2011-04-05 03:43:05
|
---|
156![Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)](https://www.pdfsearch.io/img/5ced633e7b1244f07edc7b2c18249e50.jpg) | Add to Reading ListSource URL: liu.diva-portal.orgLanguage: English - Date: 2010-07-16 02:44:55
|
---|
157![Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley](https://www.pdfsearch.io/img/e05b1e91cd8dbe3adb9df578ec3a5634.jpg) | Add to Reading ListSource URL: suif.stanford.eduLanguage: English - Date: 2007-04-01 19:35:06
|
---|
158![Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed] Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed]](https://www.pdfsearch.io/img/b4d155d3afd98852788ce36af5476e34.jpg) | Add to Reading ListSource URL: pleiad.dcc.uchile.clLanguage: English - Date: 2012-05-18 10:26:19
|
---|
159![Lecture 12 Parallelization I. Basic Parallelization II. Data dependence analysis III. Interprocedural parallelization Lecture 12 Parallelization I. Basic Parallelization II. Data dependence analysis III. Interprocedural parallelization](https://www.pdfsearch.io/img/054cf3e371daee14c726b4e7b32f7695.jpg) | Add to Reading ListSource URL: suif.stanford.eduLanguage: English - Date: 2015-03-02 13:00:05
|
---|
160![TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia](https://www.pdfsearch.io/img/d178025ed568f9971e2a808b2c355eb2.jpg) | Add to Reading ListSource URL: manu.sridharan.netLanguage: English - Date: 2015-03-03 14:08:09
|
---|